<html>
<head><meta charset="utf-8"><title>I-nominated #74702 ICE with the `(foo @ ..,)` pattern · t-compiler/wg-prioritization/alerts · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/index.html">t-compiler/wg-prioritization/alerts</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-nominated.20.2374702.20ICE.20with.20the.20.60(foo.20.40.20.2E.2E.2C).60.20pattern.html">I-nominated #74702 ICE with the `(foo @ ..,)` pattern</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="205369458"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-nominated%20%2374702%20ICE%20with%20the%20%60%28foo%20%40%20..%2C%29%60%20pattern/near/205369458" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> triagebot <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-nominated.20.2374702.20ICE.20with.20the.20.60(foo.20.40.20.2E.2E.2C).60.20pattern.html#205369458">(Jul 29 2020 at 15:08)</a>:</h4>
<p><span class="user-group-mention" data-user-group-id="3111">@WG-prioritization/alerts</span> <a href="https://github.com/rust-lang/rust/issues/74702">#74702</a> has been nominated for discussion in <code>T-compiler</code> meeting.</p>
<h1><a href="https://forge.rust-lang.org/compiler/prioritization/procedure.html#summarize-i-nominated-issues">Procedure</a></h1>
<ul>
<li>Already discussed?</li>
<li>Worth the meeting time?</li>
<li>Add agenda entry:<ul>
<li>Why nominated?</li>
<li>Assignee?</li>
<li>Issue? PR? What's the status?</li>
<li>Summary and important details?</li>
</ul>
</li>
</ul>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>